Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving

[计] 定理证明

system ['sɪstəm]

n. 体系，系统;制度;身体;方法;

sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

But Alexandra and I

但Alexandra和我

I won't argue with you,but I think you're being unfair.

我不会与你争论，但是我认为你不公平。

But these are not analogous to what happens when man ages.

不过，这些衰老的情况同人并不相似。

更多情景英语 ›

🔤 更多 T 开头的单词

take delivery of goods

temperature programmed reduction

tetramethylammonium

third estate

three point arbitrage

toggle bolt

tracheid

trap enable

全部 T 开头单词 ›